$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$($B$ + Top)). p{-}graph($B$;$f$) $\in$ $A$$\rightarrow$$B$$\rightarrow\mathbb{P}$